Complete theory - PDFSEARCH.IO - Document Search Engine

Complete theory
Results: 1780

#	Item
571	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
572	A Continuous Characterization of Maximal Cliques in k-uniform Hypergraphs Samuel Rota Bul`o, and Marcello Pelillo Dipartimento di Informatica. Universit` a Ca’ Foscari di Venezia. Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-08-09 08:17:46 Graph operations Clique Extremal graph theory Vertex cover Hypergraph Line graph Graph theory Theoretical computer science NP-complete problems
573	Graph-theoretic methods in combinatorial (algebraic) topology Michal Adamaszek Universit¨ at Bremen Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-29 03:32:40 Triangulation Clique NP-complete problems Graph coloring Simplicial complex Chordal graph Clique problem Hadwiger conjecture Graph theory Mathematics Algebraic topology
574	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
575	Insurance Cancellation Form If you’ve purchased insurance through nlc and would like to cancel your coverage, please complete this form. Your Details Full Name: Employer: Telephone (Work): Add to Reading List Source URL: www.nlc.com.au Language: English - Date: 2015-04-26 21:08:52 Dynamic programming Stochastic control Markov models Markov decision process Equations Markov chain Statistics Markov processes Control theory
576	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-17 05:11:28 NP-complete problems Vertex cover Approximation algorithm Cubic graph Feedback arc set Dominating set Graph theory Theoretical computer science Mathematics
577	PDF Document Add to Reading List Source URL: www.mansci.ovgu.de Language: English - Date: 2012-05-21 04:38:13 Operations research Combinatorial optimization Packaging Discrete geometry NP-complete problems Knapsack problem Bin packing problem Packing problem Cutting stock problem Theoretical computer science Computational complexity theory Mathematics
578	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
579	Dalke and Hastings Journal of Cheminformatics 2013, 5(Suppl 1):O6 http://www.jcheminf.com/content/5/S1/O6 ORAL PRESENTATION Open Access Add to Reading List Source URL: www.jcheminf.com Language: English NP-complete problems Cheminformatics Computational chemistry Graph theory Maximum common subgraph isomorphism problem Subgraph isomorphism problem Chemistry Matching Graph isomorphism Mathematics Theoretical computer science Applied mathematics
580	CERN-PH-TH, MCNET-13-14, IPPP/13/71, DCPT, PITT-PACCFeynRules 2.0- A complete toolbox for tree-level phenomenology Adam Alloul a , Neil D. Christensen b , C´eline Degrande c,d , Claude Duhr d , Be Add to Reading List Source URL: feynrules.irmp.ucl.ac.be Language: English - Date: 2013-10-08 19:26:14 Minimal Supersymmetric Standard Model Standard Model Supersymmetry Gauge theory Feynman diagram Quantum field theory Lagrangian Superfield Richard Feynman Physics Particle physics CompHEP

UPDATE